Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
451	Cristina Martínez (Gettysburg College) A Comparative Study of Negation in Santome and Vernacular Brazilian Portuguese This paper compares negation patterns in the Santome (ST), a Portuguese-lexified creole spoken in the Add to Reading List Source URL: creolistics9.dk Language: English - Date: 2012-11-14 09:56:05 Mathematics Logic Double negative Negation Double negation Negative Brazilian Portuguese Auxiliary verb Grammar Linguistics Semantics
452	Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2000-12-15 10:34:26 Propositional calculus Semantics Type theory Model theory Logic programming Negation Prolog Entailment Logical framework Logic Mathematical logic Logic in computer science
453	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
454	The Spirit of Ghost Code Jean-Christophe Filliˆ atre1,2 , L´eon Gondelman1? , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ. Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:51:46 Character encoding Digital typography Symbol Mathematics Orbifold Proof theory Programming language semantics Logic in computer science
455	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
456	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
457	Pattern Logics and Auxiliary Relations Diego Figueira Leonid Libkin University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:09:13 Mathematical logic Structure Finite model theory FO Kripke semantics String First-order logic Interpretation Theory Logic Model theory Mathematics
458	An Overview of Synchronous Languages Olivier Hermant CRI, MINES ParisTech 13 Octobre 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:47:54 Logic in computer science Formal methods Actor model Hardware description languages Synchronous programming languages Denotational semantics Clock Lustre Futures and promises Theoretical computer science Computing Software engineering
459	Most species have members that are old Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:33 Grammar Science Semantics Model theory Predicate logic Adjective Predicate Quantification Preposition and postposition Linguistics Logic Parts of speech
460	PDF Document Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-03-18 12:19:47 Philosophical logic Ontology Philosophy of language Semantics Veracity Truthmaker Truth-bearer Problem of universals Nominalism Philosophy Metaphysics Logic

UPDATE